BiblioVault - Books by van Benthem, Johan

Exploring Logical Dynamics

Johan van Benthem

CSLI, 1996

This book is an exploration of current trends in logical theories of information flow across various fields, such as belief revision in computer science or dynamic semantics in linguistics. It provides one mathematical perspective encompassing all of these. This framework generates a new agenda of questions concerning dynamic inference and dynamic operators. The result is a mathematical theory of process models, simulations between these, and modal languages over them, which is developed in quite some detail. New results include theorems on expressive completeness, representation of styles of inference, and new kinds of decidable remodeling for standard logics. This theory is also confronted with practice in computer science, linguistics and philosophy.

[more]

Interactive Logic

Selected Papers from the 7th Augustus de Morgan Workshop, London

Edited by Johan van Benthem, Benedikt Löwe and Dov Gabbay

Amsterdam University Press, 2007

Traditionally, logic has dealt with notions of truth and reasoning. In the past several decades, however, research focus in logic has shifted to the vast field of interactive logic—the domain of logics for both communication and interaction. The main applications of this move are logical approaches to games and social software; the wealth of these applications was the focus of the seventh Augustus de Morgan Workshop in November 2005. This collection of papers from the workshop serves as the initial volume in the new series Texts in Logics and Games—touching on research in logic, mathematics, computer science, and game theory.

“A wonderful demonstration of contemporary topics in logic.”—Wiebe van der Hoek, University of Liverpool

[more]

A Manual of Intensional Logic

2nd Edition

Johan van Benthem

CSLI, 1988

Intensional logic, as understood here, is based on the broad presupposition that so-called "intensional contexts" in natural language can be explained semantically by the idea of multiple reference. The text reviews tense, modality, and conditionals, then presents developments in intensional theory, including partiality and generalized quantifiers. JOHAN van BENTHEM is professor of mathematical logic at the University of Amsterdam.

[more]

Modal Logic for Open Minds

Johan van Benthem

CSLI, 2010

In Modal Logic for Open Minds, Johan van Benthem provides an up-to-date introduction to the field of modal logic, outlining its major ideas and exploring the numerous ways in which various academic fields have adopted it. Van Benthem begins with the basic theories of modal logic, semantics, bisimulation, and axiomatics, and also covers more advanced topics, such as expressive power and computational complexity. The book then moves to a wide range of applications, including new developments in information flow, intelligent agency, and games. Taken together, the chapters show modal logic at the crossroads of philosophy, mathematics, linguistics, computer science, and economics. Most of the chapters are followed by exercises, making this volume ideal for undergraduate and graduate students in philosophy, computer science, symbolic systems, cognitive science, and linguistics.

[more]